141. Software language engineering : third international conference, SLE 2010, the Netherlands, October 12-13, 2010 : revised selected papers

پدیدآورنده :

کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)

موضوع : ، Software engineering -- Congresses,، Programming languages )Electronic computers( -- Congresses,، Programming languages )Electronic computers(

رده :
QA76
.
7
.
S587
2010

142. Software programming languages

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Computer software,، Programming languages )Electronic computers(

رده :
QA
76
.
755
.
S66
1973

143. Software studies

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Computer software. ; Computers and civilization ; Encyclopedias. ; Programming languages (Electronic computers) ; Lexicography. ; Technology and the arts. ;

144. Software studies

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Computer software.,Computers and civilization--Encyclopedias,Programming languages (Electronic computers)--Lexicography,Technology and the arts.

رده :
QA
,
76
.
754
,.
S64723
,
2008

145. Source Code Analytics With Roslyn and JavaScript Data Visualization /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming.,Computer science.,Programming languages (Electronic computers),Software engineering.,Source code (Computer science),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Software Engineering.

رده :
QA76
.
754
.
M85
2016

146. Spiele effektiv programmieren

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.

147. Static analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses.,Programming languages (Electronic computers), Congresses.

رده :
QA76
.
6
.
I5733
2012eb

148. Static analysis

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6
.
I5733
2009

149. Static analysis :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer programming, Congresses,Programming languages (Electronic computers), Congresses

رده :
QA76
.
6

150. Swift 3 for Absolute Beginners

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software-- Development.,Computer programming.,Computer science.,Programming languages (Electronic computers),Swift (Computer program language),Computer Science.,Programming Languages, Compilers, Interpreters.,Programming Techniques.

رده :
QA76
.
73
.
S95

151. Systems software tools

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Programming languages )Electronic computers( , IBM personal computer - Programming , C )Computer program language(

رده :
QA
76
.
7
.
B52

152. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
351-352

153. The Agent Modeling Language--AML

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Intelligent agents (Computer software),Computer software--Development,Programming languages (Electronic computers)

رده :
QA
,
76
.
76
,.
I58
,
C47
,
2007

154. The C answer book :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : C (Computer program language), Problems, exercises, etc.,Programming languages (Electronic computers)

155. The Imperative future :principles of executable temporal logic

پدیدآورنده :

کتابخانه: (خراسان الجنوبیة)

موضوع : Development ، Computer software,، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical

رده :
QA
76
.
76
.
D47
I47
1996

156. The computer comes of age :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers-- History,Programming languages (Electronic computers)-- History

رده :
QA76
.
17
.
M6713
1984

157. The computer comes of age: the people, the hardware, and the software

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : History ، Computers,History ، Programming languages )Electronic computers(

رده :
QA
76
.
17
.
M6713
1984

158. The design and analysis of computer algorithms /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer algorithms.,Computer programming.,Electronic digital computers-- Programming.,Algorithms-- analysis.,Algorithms.,Programming Languages.,Algorithmes.,Programmation (Informatique),Algorithmentheorie,Algorithmes.,Algorithms.,Algorithmus,Algoritmen.,Computer,Computer algorithms.,Computer programming.,Computer programming.,Datenverarbeitung,Entwurf,Ordinateurs-- Programmation.,Programmierung,Software.

رده :
QA76
.
6
.
A36

159. The joy of Kotlin /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers),Application software-- Development-- Computer programs.,Functional programming languages.,Programming languages (Electronic computers)

رده :
QA76
.
62

160. The (new) Turing omnibus :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computers.,Electronic data processing.,Automates mathématiques, Théorie des.,Informatique.,Ordinateurs.,Computers.,Electronic data processing.,Processamento eletronico de dados.

رده :
QA76
.
D448
1993